Formal specification of gateways in integrated architectures

机译：集成架构中网关的形式化规范

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
R. Obermaisser;
展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A polynomial algorithm for gateway generation from formal specifications [J] . Kristol D.M., Lee D. IEEE/ACM Transactions on Networking . 1993,第2期

机译：用于根据形式规范生成网关的多项式算法
2. Designing an Integrated Architecture for Network Content Security Gateways [J] . Ying-Dar Lin, Chih-Wei Jan, Po-Ching Lin, Computer . 2006,第期

机译：设计网络内容安全网关的集成体系结构
3. Formal specification and verification of reusable communication models for distributed systems architecture [J] . Quentin Rouland, Brahim Hamid, Jason Jaskolka Future generation computer systems . 2020,第Jula期

机译：分布式系统体系结构的可重用通信模型的正式规范和验证
4. Formal Specification of Gateways in Integrated Architectures [C] . R. Obermaisser Software Technologies for Embedded and Ubiquitous Systems . 2008

机译：集成架构中网关的正式规范
5. A formal specification of electronic patient record processing for an integrated distributed health care system. [D] . Sampath, Srinivasan. 2003

机译：用于集成分布式保健系统的电子病历处理的正式规范。
6. Data Sources and Gateways: Design and Open Specification [O] . Konstantinos Perakis, Dimitris Miltiadou, Antonio De Nigro, 2019

机译：数据源和网关：设计和开放规范
7. Specification and Execution of Gateways in Integrated Architectures [O] . R. Obermaisser P. Peti 2008

机译：集成架构中网关的规范和执行
8. Functional Description and Formal Specification of a Generic Gateway [R] . Tao, J., Martinez, R. 1988

机译：通用网关的功能描述和形式规范

Formal specification of gateways in integrated architectures

著录项

引文网络

相似文献

相关主题

期刊订阅